Realization of theorem proving automation

英 美
  • 定理证明自动化的实现
  • automation n.自动化
  • of prep.关于；...的（表所属）；出身于；由于
  • proving n.校对动词prove的现在分词形式.
  • realization n.实现；领悟；实得
  • theorem n.定理

相关词汇

realization realization rules
展开全文

大家正在查

real-core是什么意思 real-timetransmission是什么意思 reamputation是什么意思 reamplifying是什么意思 reapinghook是什么意思 reappropriation是什么意思 reaping-machine是什么意思 reaper-and-binder是什么意思 Rearden是什么意思 Reardan是什么意思